Простий
пошук
Розширений
пошук
Покажчики
Професійний
пошук
Рубрикатор
НБУВ
Розподілений
пошук

Бази даних

Наукова періодика України - результати пошуку

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
Повнотекстовий пошук
 Знайдено в інших БД:Книжкові видання та компакт-диски (6)Автореферати дисертацій (1)Реферативна база даних (10)
Список видань за алфавітом назв:
A  B  C  D  E  F  G  H  I  J  L  M  N  O  P  R  S  T  U  V  W  
А  Б  В  Г  Ґ  Д  Е  Є  Ж  З  И  І  К  Л  М  Н  О  П  Р  С  Т  У  Ф  Х  Ц  Ч  Ш  Щ  Э  Ю  Я  

Авторський покажчик    Покажчик назв публікацій


Пошуковий запит: (<.>A=Гломозда Д$<.>)
Загальна кількість знайдених документів : 6
Представлено документи з 1 до 6
1.

Гломозда Д. К. 
Про один підхід до організації взаємодії між автоматизованою системою управління навчальним закладом та системою керування навчанням [Електронний ресурс] / Д. К. Гломозда // Наукові записки НаУКМА. Комп'ютерні науки. - 2010. - Т. 112. - С. 30-33. - Режим доступу: http://nbuv.gov.ua/UJRN/NaUKMAkn_2010_112_9
Описано процес налагодження взаємодії між АСУНЗ MAMS і СКН Moodle. Наведено приклади застосування каркасів Spring та Tapestry сумісно з ORM-бібліотекою Hibernate для створення корпоративних веб-застосувань і організації їх зв'язку із декількома зовнішніми базами даних.
Попередній перегляд:   Завантажити - 1.613 Mb    Зміст випуску    Реферативна БД     Цитування
2.

Гломозда Д. К. 
Моделювання роботи колаборативного середовища за допомогою кольорових мереж Петрі [Електронний ресурс] / Д. К. Гломозда // Наукові записки НаУКМА. Комп'ютерні науки. - 2014. - Т. 163. - С. 77-85. - Режим доступу: http://nbuv.gov.ua/UJRN/NaUKMAkn_2014_163_15
Попередній перегляд:   Завантажити - 663.951 Kb    Зміст випуску     Цитування
3.

Глибовец Н. Н. 
Сложность задачи верификации координационного механизма системы программной поддержки совместной сетевой работы [Електронний ресурс] / Н. Н. Глибовец, Д. К. Гломозда // Кибернетика и системный анализ. - 2008. - Т. 44, № 4. - С. 15-19. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2008_44_4_3
Розглянуто задачу верифікації координаційного механізму системи програмної підтримки мережної співпраці. Показано спорідненість цієї задачі з задачею верифікації агентів. Доведено, що за обчислювальною складністю задача верифікації координаційного механізму є co-NP-повною.
Попередній перегляд:   Завантажити - 81.687 Kb    Зміст випуску    Реферативна БД     Цитування
4.

Гломозда Д. К. 
Застосування методу інваріантів до аналізу кольорових мереж Петрі [Електронний ресурс] / Д. К. Гломозда // Наукові записки НаУКМА. Комп'ютерні науки. - 2015. - Т. 177. - С. 44-52. - Режим доступу: http://nbuv.gov.ua/UJRN/NaUKMAkn_2015_177_12
Описано застосування методу інваріантів, що використовує алгоритм пошуку зрізаної множини розв'язків рівняння стану мережі Петрі, яке записується у вигляді систем лінійних однорідних діофантових рівнянь, до аналізу кольорових мереж Петрі, які містять дедлоки, на прикладі моделі функціонування багатопоточності в мові програмування Java за шаблоном "виробники/споживачі" з використанням комбінації методів wait()/notify().
Попередній перегляд:   Завантажити - 751.711 Kb    Зміст випуску    Реферативна БД     Цитування
5.

Гломозда Д. К. 
Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками [Електронний ресурс] / Д. К. Гломозда, Н. Н. Глибовец, А. Н. Максимец // Кибернетика и системный анализ. - 2018. - Т. 54, № 4. - С. 151-163. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2018_54_4_15
Описан алгоритм преобразования цветной сети Петри с качественными фишками в раскрашенную сеть Петри с количественными фишками с сохранением ограниченности, взаимоисключаемости и живучести. Такое преобразование позволяет применить к раскрашенной сети Петри метод инвариантов, использующий алгоритм поиска усеченного множества решений уравнения состояния сети Петри, которое записывается в виде систем линейных однородных диофантовых уравнений. Работоспособность алгоритма продемонстрирована на примере цветной сети Петри, моделирующей работу грид-системы. Эквивалентность сетевых моделей проверена путем построения и анализа эквивалентных им конечных автоматов.
Попередній перегляд:   Завантажити - 640.927 Kb    Зміст випуску    Реферативна БД     Цитування
6.

Гломозда Д. К. 
Застосування методу інваріантів до аналізу кольорових мереж Петрі із дедлоками [Електронний ресурс] / Д. К. Гломозда // Вісник Національного технічного університету України "КПІ". Інформатика, управління та обчислювальна техніка. - 2016. - Вип. 64. - С. 38-46. - Режим доступу: http://nbuv.gov.ua/UJRN/Vkpi_iuot_2016_64_7
Описано застосування методу інваріантів, що використовує алгоритм пошуку зрізаної множини розв'язків рівняння стану мережі Петрі, яке записується у вигляді систем лінійних однорідних діофантових рівнянь, до аналізу кольорових мереж Петрі, які містять дедлоки, на прикладі моделі функціонування багатопоточності в мові програмування Java за шаблоном "виробники/споживачі" з використанням комбінації методів wait()/notify().
Попередній перегляд:   Завантажити - 1.187 Mb    Зміст випуску    Реферативна БД     Цитування
 
Відділ наукової організації електронних інформаційних ресурсів
Пам`ятка користувача

Всі права захищені © Національна бібліотека України імені В. І. Вернадського